“最近发展区”理论在C程序设计教学中的应用

首先指出"最近发展区"理论的内涵;然后探讨该理论与"问题解决"教学方法之间的关系以及实施要点;最后在"最近发展区"理论指导下,运用"问题解决"教学方法,围绕C程序设计课程中的一项重点及难点内容——数组及排序问题,设计了一份教学过程计划方案。     

基于PTIDES执行策略的调度算法

分析现有PTIDES执行策略调度算法,综合考虑事件的截止期和执行时间,改进传统最小空闲时间优先算法,将空闲时间作为事件调度优先权,提出零空闲时间优先PTIDES调度算法——ZSFPTIDES。实例分析表明,ZSFPTIDES调度算法能避免事件在处理过程中因得不到及时处理而夭折的现象,减小事件的抢占切换率,优化分布实时嵌入式系统的调度性能。     

Components meet aspects: Assessing design stability of a software product line

Context

It is important for Product Line Architectures (PLA) to remain stable accommodating evolutionary changes of stakeholder’s requirements. Otherwise, architectural modifications may have to be propagated to products of a product line, thereby increasing maintenance costs. A key challenge is that several features are likely to exert a crosscutting impact on the PLA decomposition, thereby making it more difficult to preserve its stability in the presence of changes. Some researchers claim that the use of aspects can ameliorate instabilities caused by changes in crosscutting features. Hence, it is important to understand which aspect-oriented (AO) and non-aspect-oriented techniques better cope with PLA stability through evolution.

Objective

This paper evaluates the positive and negative change impact of component and aspect based design on PLAs. The objective of the evaluation is to assess how aspects and components promote PLA stability in the presence of various types of evolutionary change. To support a broader analysis, we also evaluate the PLA stability of a hybrid approach (i.e. combined use of aspects and components) against the isolated use of component-based, OO, and AO approaches.

Method

An quantitative and qualitative analysis of PLA stability which involved four different implementations of a PLA: (i) an OO implementation, (ii) an AO implementation, (iii) a component-based implementation, and (iv) a hybrid implementation where both components and aspects are employed. Each implementation has eight releases and they are functionally equivalent. We used conventional metrics suites for change impact and modularity to measure the architecture stability evaluation of the 4 implementations.

Results

The combination of aspects and components promotes superior PLA resilience than the other PLAs in most of the circumstances.

Conclusion

It is concluded that the combination of aspects and components supports the design of high cohesive and loosely coupled PLAs. It also contributes to improve modularity by untangling feature implementation.     

MBR膜处理控制系统的实现

该文围绕MBR膜处理系统工艺,主要介绍了该控制系统的结构、组成、硬件配置和软、硬件设计。该系统以西门子S7—300系列PLC为控制核心,通过以太网与上位机通信,实现命令输入以及图形显示,通过PROFIBUS—DP现场总线与8个PLC功能子站进行数据通信,从而实现对整个系统的控制。PLC编程软件采用SIMATICSTEP7V5．4＋SP4,上位机软件采HMISCADAIFIX4．0组态软件。     

Full mobile agent interoperability in an IEEE-FIPA context

The existence of heterogeneous mobile agent systems hinders the interoperability of mobile agents. Several solutions exist, but they are limited in some aspects. This article proposes a full interoperability solution, in the context of the IEEE-FIPA agent standards, composed of three parts. The first part is a simple language-independent agent interface that enables agents to visit locations with different types of middlewares. The second part is a set of design models for the middlewares to support agents developed for different programming languages and architectures. And the third part is a method based on agents with multiple codes and a common agent data encoding mechanism to enable interoperability between middlewares that do not support the same programming languages. Furthermore two agent interoperability implementations, and its corresponding performance comparison, carried out over the JADE and AgentScape agent middlewares are presented.     

Cameo: an alternative model of concurrency for Eiffel

We present a new concurrency model for the Eiffel programming language. The model is motivated by describing a number of semantic problems with the leading concurrency model for Eiffel, namely SCOOP. Our alternative model aims to preserve the existing behaviour of sequential programs and libraries wherever possible. Comparison with the SCOOP model is made. The concurrency aspects of the alternative model are presented in CSP along with a model of exceptions. The results show that while the new model provides increased parallelism, this comes with the price of increased overhead due to lock management.     

A fuzzy model for supplier selection in quantity discount environments

Traditionally, supplier selection should simultaneously take into account numerous heterogeneous criteria, and then is a tedious task for the purchasing decision makers. It becomes especially complicated when quantity discounts are considered at the same time. Under such manner, most studies often formulate such a problem as a Multi-Objective Linear Programming (MOLP) problem, and then scale it down to a Mixed Integer Programming (MIP) problem to handle the inherited multi-objectives simultaneously. However, this approach often neglects to consider scaling and subjective weighting issues. In order to ease the problem mentioned above and to obtain a more reasonable compromise solution for allocating order quantities among suppliers with their quantity discount rate offered, the Analytical Hierarchy Process (AHP) and fuzzy compromise programming are introduced in this study. An illustrated example is presented to demonstrate the proposed model and to illuminate two kinds of attitudes for decision makers. The information from the experiments can be utilized further to explain the suppliers’ possible improvement and to help create win–win policies.     

基于改进基因表达式程序设计的股票指数预测

介绍基因表达式程序设计方法的基本原理,针对股票指数分析与预测问题,在经典的GEP算法基础上,提出一种基于动态变异算子的改进的GEP算法——IGEP算法,动态变异算子随着进化代数和染色体所含基因数目不同而变化,从而加快了GEP的收敛速度和精确度,对算法进行了复杂度和收敛性分析。设计一种基于IGEP的股票指数分析与预测算法,数值实验结果表明,该算法优于经典GEP算法,具有较广泛的通用性。